Two Restrictions on Contraction
نویسنده
چکیده
I show two simple limitations of sequent systems with multiplicative context treatment: contraction can be restricted neither to atoms nor to the bottom of a proof tree.
منابع مشابه
On the existence of fixed points for contraction mappings depending on two functions
In this paper we study the existence of fixed points for mappings defined on complete metric spaces, satisfying a general contractive inequality depending on two additional mappings.
متن کاملComparing the effects of IV infusion of 10% dextrose and 40 IU/L of oxytocin on uterine contraction after Cesarean section
Background: Uterine bleeding is an important side effect of cesarean section which is due to non contractile uterine. The aim of this study was to compare the effect of 10% dextrose (IV infusion) and 40 IU/L oxytocin (IV infusion) on uterine contraction. Materials and Methods: This research was a double-blinded randomized clinical trial (RCT) study. 120 women were equally included in the tw...
متن کاملEffect of Ankle Brace on the Activity and Co-Contraction of Ankle Muscles During Single-Leg Landing
Objectives: The results of a few studies about the effects of ankle brace on muscles function during the performance of different tasks are contradictory. Moreover, the effect of brace on the co-contraction of ankle muscles is undiscovered. Therefore, the present study investigated the effect of brace usage on the ankle muscles activity and co-contraction during single-leg landing. Methods: Fi...
متن کاملOn Contraction and Semi-contraction Factors of Gsor Method for Augmented Linear Systems
The generalized successive overrelaxation (GSOR) method was presented and studied by Bai, Parlett and Wang [Numer. Math. 102(2005), pp.1-38] for solving the augmented system of linear equations, and the optimal iteration parameters and the corresponding optimal convergence factor were exactly obtained. In this paper, we further estimate the contraction and the semi-contraction factors of the GS...
متن کاملEffect of Exercise Therapy with Medicine Ball on Directed and General Co-contraction of Knee Joint Muscles in Low Back Pain Patients During Walking
Background and Objectives: Low back pain is a musculoskeletal disorder with an annual prevalence of 18.6%. The aim of the present study was to evaluate the effect of rehabilitation with medicine ball on directed and general co-contraction of knee joint muscles in low back patients during walking, Materials and Methods: The present study was a clinical trial. The statistical population of the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 11 شماره
صفحات -
تاریخ انتشار 2003